A note on the notion of truth in fuzzy
نویسنده
چکیده
In fuzzy predicate logic, assignment of truth values may be partial, i.e. the truth value of a formula in an interpretation may be undeened (due to lack of some innnite suprema or innma in the underlying structure of truth values). A logic is supersound if each provable formula ' is true (has truth value 1) in each interpretation in which the truth value of ' is deened. If is shown that among the logics given by continuous t-norms, GG odel logic is the only one that is supersound; all others are (sound but) not supersound.
منابع مشابه
Language of General Fuzzy Recognizer
In this note first by considering the notion of general fuzzy automata (for simplicity GFA), we define the notions of direct product, restricted direct product and join of two GFA. Also, we introduce some operations on (Fuzzy) sets and then prove some related theorems. Finally we construct the general fuzzy recognizers and recognizable sets and give the notion of (trim) reversal of a given GFA....
متن کاملON DEGREES OF END NODES AND CUT NODES IN FUZZY GRAPHS
The notion of strong arcs in a fuzzy graph was introduced byBhutani and Rosenfeld in [1] and fuzzy end nodes in the subsequent paper[2] using the concept of strong arcs. In Mordeson and Yao [7], the notion of“degrees” for concepts fuzzified from graph theory were defined and studied.In this note, we discuss degrees for fuzzy end nodes and study further someproperties of fuzzy end nodes and fuzz...
متن کاملFUZZY HYPERVECTOR SPACES OVER VALUED FIELDS
In this note we first redefine the notion of a fuzzy hypervectorspace (see [1]) and then introduce some further concepts of fuzzy hypervectorspaces, such as fuzzy convex and balance fuzzy subsets in fuzzy hypervectorspaces over valued fields. Finally, we briefly discuss on the convex (balanced)hull of a given fuzzy set of a hypervector space.
متن کاملSOME RESULTS OF INTUITIONISTIC FUZZY WEAK DUAL HYPER K-IDEALS
In this note we consider the notion of intuitionistic fuzzy (weak) dual hyper K-ideals and obtain related results. Then we classify this notion according to level sets. After that we determine the relationships between intuitionistic fuzzy (weak) dual hyper K-ideals and intuitionistic fuzzy (weak) hyper K-ideals. Finally, we define the notion of the product of two intuitionistic fuzzy (weak) du...
متن کاملOn the Notion of Fuzzy Shadowing Property
This paper is concerned with the study of fuzzy dynamical systems. Let (XM ) be a fuzzy metric space in the sense of George and Veeramani. A fuzzy discrete dynamical system is given by any fuzzy continuous self-map dened on X. We introduce the various fuzzy shad- owing and fuzzy topological transitivity on a fuzzy discrete dynamical systems. Some relations between this notions have been proved.
متن کامل